1041. The logical syntax of language
پدیدآورنده : Carnap, Rudolf
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Language and languages
رده :
BC
135
.
C323
1042. The mathematics of logic
پدیدآورنده : Richard W. Kaye
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Logic, Symbolic and mathematical
رده :
511
,.
3
,.
K32
,
2007
1043. The mathematics of logic: a guide to completeness theorems and their applications
پدیدآورنده : Kaye, Richard )Richard W.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
K32
2007
1044. The mathematics of logic : a guide to completeness theorems and their applications
پدیدآورنده : Kaye, Richard W.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
K32
2007
1045. <The> metaphysics of the Tractatus
پدیدآورنده : Peter Carruthers,Title
کتابخانه: کتابخانه انتشارات سمت (تهران)
موضوع : Wittgenstein, Ludwig,- 1889-1951.- Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy,Metaphysics
رده :
B
.
W563
,
T73224
3376
1990
1046. The nature of mathematics
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica
رده :
QA9
.
B62
1959
1047. The nature of mathematics
پدیدآورنده : / by Max Black
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica,Russell, Bertrand, 1872-1970, joint author. Principia mathematica
رده :
QA9
.
B62
1934
1048. The nature of mathematics : a critical survey
پدیدآورنده : Black, Max
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Whitehead, Alfred North, 1681-7491. Principia mathematica,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
B62
1959
1049. The nature of mathematics : a critical survey
پدیدآورنده : Black, Max
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical,، Whitehead, Alfred North, 1681-7491. Principia mathematica
رده :
QA
9
.
B54
1050. The origin of the logic of symbolic mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Mathematics ; Philosophy. ;
1051. The priciples of science
پدیدآورنده : Jevons, William Stanley
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic,، Logic, symbolic and mathematical,Methodology ، Science
رده :
Q
175
.
J48
1996
1052. 1940-The search for mathematical roots, 1870
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Arithmetic ; Foundations. ; Set theory ; History ; 19th century. ; Set theory ; History ; 20th century. ; Logic, Symbolic and mathematical ; History ; 19th century. ; Logic, Symbolic and mathematical ; History ; 20th century. ;
1053. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic,، Logic, Symbolic and mathematical,، Semantics
رده :
BC
71
.
E57
1995
1054. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic , Logic, Symbolic and mathematical, Semantics
رده :
BC
71
.
E57
1994
1055. The semantic foundations of logic
پدیدآورنده : / Richard L.Epstein,with the assistance and collaboration of Walter A.Carnielli...[et al.]
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Logic,Logic,symbolic and mathematical,Semantics
رده :
160
E64s
1056. The semantics and proof theory of the logic of bunched implications
پدیدآورنده : Pym, David J.
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1057. The structure of models of Peano arithmetic
پدیدآورنده : Roman Kossak, James H. Schmerl
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc
رده :
QA
9
.
7
.
K67
2006
1058. The temporal logic of reactive and concurrent systems
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3564
1991
1059. The theory of models; proceedings
پدیدآورنده :
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Logic Symbolic and mathematical models-Congresses
رده :
BC
135
.
I586
1060. The theory of models; proceedings
پدیدآورنده : Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963